7af7988ace8a25d73835a6205e8cf15ebac8acbc,src/org/exist/xmldb/RemoteCollectionManagementService.java,RemoteCollectionManagementService,copy,#XmldbURI#XmldbURI#XmldbURI#,214
Before Change
public void copy(XmldbURI collectionPath, XmldbURI destinationPath,
XmldbURI newName) throws XMLDBException {
collectionPath = parent.getPathURI().resolveCollectionPath(collectionPath);
destinationPath = parent.getPathURI().resolveCollectionPath(destinationPath);
if(newName == null) {
newName = collectionPath.lastSegment();
}
After Change
public void copy(XmldbURI collectionPath, XmldbURI destinationPath,
XmldbURI newName) throws XMLDBException {
collectionPath = parent.getPathURI().resolveCollectionPath(collectionPath);
destinationPath = destinationPath == null ? collectionPath.removeLastSegment() : parent.getPathURI().resolveCollectionPath(destinationPath);
if(newName == null) {
newName = collectionPath.lastSegment();